Vaughan Pratt - PDFSEARCH.IO - Document Search Engine

Vaughan Pratt
Results: 47

#	Item
11	Euclid’s Elements as an Equational Theory Vaughan Pratt Stanford University 26 May, 2015 Add to Reading List Source URL: thue.stanford.edu Language: English - Date: 2015-05-26 00:36:08
12	Linear process algebra LPA Vaughan Pratt Stanford University October 19, 2011 Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2011-10-20 01:25:42 Linear algebra Numerical analysis Denotational semantics Algebra over a field Matrix Vector space Algebra
13	Presketches: Algebra without algebras via categories without functors Vaughan Pratt Stanford University April 2010 Abstract Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2010-04-08 06:04:04 Mathematics Category theory Algebra Functors Sheaf theory Adjoint functors Topos Topos theory Equivalence of categories Sheaf Natural transformation Subcategory
14	Reconciling multidecadal land-sea global temperature with rising CO2 Vaughan Pratt Stanford University Add to Reading List Source URL: clim.stanford.edu Language: English - Date: 2013-12-12 17:53:03 Oceanography T1 Physical geography Sea Earth Hydrography
15	Aristotle, Boole, and Chu Duality since 350 BC Vaughan Pratt Stanford University August 27, 2015 Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2015-08-27 01:51:39 Logic Mathematical logic Abstraction Boolean algebra Term logic Classical logic Arguments Syllogism Propositional calculus George Boole Converse Prior Analytics
16	Linear process algebra Vaughan Pratt Stanford University, Stanford CA, USA Abstract. A linear process is a system of events and states related Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2015-09-20 03:50:07 Algebra Mathematics Linear algebra Abstract algebra Transformation Functions and mappings Chu space Topology Linear map Vector space Algebra over a field Isomorphism
17	SIAM J. COMPUT. Vol. 6, No. 2, June 1977 FAST PATTERN MATCHING IN STRINGS* DONALD E. KNUTHf, JAMES H. MORRIS, JR.:l: AND VAUGHAN R. PRATT Abstract. An algorithm is presented which finds all occurrences of one. given stri Add to Reading List Source URL: delab.csd.auth.gr Language: English - Date: 2005-07-04 12:11:12 String matching algorithms Pattern matching Regular expression AWK Fibonacci number Knuth–Morris–Pratt algorithm Approximate string matching Computing Computer programming Software engineering
18	from http://boole.stanford.edu/pub/ratmech.pdf Rational Mechanics and Natural Mathematics Vaughan Pratt∗ Dept. of Computer Science, Stanford University, Stanford, CA[removed]removed] Add to Reading List Source URL: newdualism.org Language: English - Date: 2013-10-21 17:38:44 Topology General topology Mathematical structures Category theory Chu space Continuous function Duality Dualism Vector space Mathematics Algebra Linear algebra
19	o 0.1 C THEORETICAL vs. OBSERVED GLOBAL CLIMATE Vaughan Pratt, December 2010 Add to Reading List Source URL: thue.stanford.edu - Date: 2010-12-25 18:51:10
20	Modeling Concurrency with Geometry Vaughan Pratt † Computer Science Department Stanford University Stanford, CA[removed]removed] Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:07:40 Theoretical computer science Algebraic structures Formal methods Order theory Distributive lattice Lattice theory Boolean algebra Distributivity Finite-state machine Automata theory Models of computation Mathematics

UPDATE